#include<stdio.h>
int main()
{
	long long n=0;
	scanf("%lld",&n);
	long long sum=0;
	if(n%2==0)
	{
		sum=(1+n)*(n/2);
	}
	else
	{
		sum=(1+n)*((n-1)/2);
		sum=sum+n/2+1;
	}
	printf("%I64d",sum);
	return 0;
}
